The current COVID-19 pandemic and the previous SARS/MERS outbreaks of 2003 and 2012 have resulted in a series of major global public health crises. We argue that in the interest of developing effective and safe vaccines and drugs and to better understand coronaviruses and associated disease mechenisms it is necessary to integrate the large and exponentially growing body of heterogeneous coronavirus data. Ontologies play an important role in standard-based knowledge and data representation, integration, sharing, and analysis. Accordingly, we initiated the (...) development of the community-based Coronavirus Infectious Disease Ontology in early 2020. -/- As an Open Biomedical Ontology (OBO) library ontology, CIDO is open source and interoperable with other existing OBO ontologies. CIDO is aligned with the Basic Formal Ontology and Viral Infectious Disease Ontology. CIDO has imported terms from over 30 OBO ontologies. For example, CIDO imports all SARS-CoV-2 protein terms from the Protein Ontology, COVID-19-related phenotype terms from the Human Phenotype Ontology, and over 100 COVID-19 terms for vaccines (both authorized and in clinical trial) from the Vaccine Ontology. CIDO systematically represents variants of SARS-CoV-2 viruses and over 300 amino acid substitutions therein, along with over 300 diagnostic kits and methods. CIDO also describes hundreds of host-coronavirus protein-protein interactions (PPIs) and the drugs that target proteins in these PPIs. CIDO has been used to model COVID-19 related phenomena in areas such as epidemiology. The scope of CIDO was evaluated by visual analysis supported by a summarization network method. CIDO has been used in various applications such as term standardization, inference, natural language processing (NLP) and clinical data integration. We have applied the amino acid variant knowledge present in CIDO to analyze differences between SARS-CoV-2 Delta and Omicron variants. CIDO's integrative host-coronavirus PPIs and drug-target knowledge has also been used to support drug repurposing for COVID-19 treatment. -/- CIDO represents entities and relations in the domain of coronavirus diseases with a special focus on COVID-19. It supports shared knowledge representation, data and metadata standardization and integration, and has been used in a range of applications. (shrink)

Disputes over territory are a major contributing factor to the disruption of international relations. We believe that a cumulative, integrated, and continuously updated resource providing information about such disputes in an easily accessible form would be of benefit to intelligence analysts, military strategists, political scientists, and also to historians and others concerned with international disputes. We propose an ontology-based strategy for creating such a resource. The resource will contain information about territorial disputes, arguments for and against claims pertaining to sovereignty, (...) proffered evidence for such claims, political and military motives (overt or hidden), and associated conflicts. Our approach is designed to address several issues surrounding the representation of geopolitical conflict, including the tracking and individuation of disputes and the validation of disseminated information. (shrink)

Current COVID-19 pandemic and previous SARS/MERS outbreaks have caused a series of major crises to global public health. We must integrate the large and exponentially growing amount of heterogeneous coronavirus data to better understand coronaviruses and associated disease mechanisms, in the interest of developing effective and safe vaccines and drugs. Ontologies have emerged to play an important role in standard knowledge and data representation, integration, sharing, and analysis. We have initiated the development of the community-based Coronavirus Infectious Disease Ontology (CIDO). (...) As an Open Biomedical Ontology (OBO) library ontology, CIDO is an open source and interoperable with other existing OBO ontologies. In this article, the general architecture and the design patterns of the CIDO are introduced, CIDO representation of coronaviruses, phenotypes, anti-coronavirus drugs and medical devices (e.g. ventilators) are illustrated, and an application of CIDO implemented to identify repurposable drug candidates for effective and safe COVID-19 treatment is presented. (shrink)

COVID-19 often manifests with different outcomes in different patients, highlighting the complexity of the host-pathogen interactions involved in manifestations of the disease at the molecular and cellular levels. In this paper, we propose a set of postulates and a framework for systematically understanding complex molecular host-pathogen interaction networks. Specifically, we first propose four host-pathogen interaction (HPI) postulates as the basis for understanding molecular and cellular host-pathogen interactions and their relations to disease outcomes. These four postulates cover the evolutionary dispositions involved (...) in HPIs, the dynamic nature of HPI outcomes, roles that HPI components may occupy leading to such outcomes, and HPI checkpoints that are critical for specific disease outcomes. Based on these postulates, an HPI Postulate and Ontology (HPIPO) framework is proposed to apply interoperable ontologies to systematically model and represent various granular details and knowledge within the scope of the HPI postulates, in a way that will support AI-ready data standardization, sharing, integration, and analysis. As a demonstration, the HPI postulates and the HPIPO framework were applied to study COVID-19 with the Coronavirus Infectious Disease Ontology (CIDO), leading to a novel approach to rational design of drug/vaccine cocktails aimed at interrupting processes occurring at critical host-coronavirus interaction checkpoints. Furthermore, the host-coronavirus protein-protein interactions (PPIs) relevant to COVID-19 were predicted and evaluated based on prior knowledge of curated PPIs and domain-domain interactions, and how such studies can be further explored with the HPI postulates and the HPIPO framework is discussed. (shrink)

Ontologies formally represent reality in a way that limits ambiguity and facilitates automated reasoning and data fusion, but is often daunting to the non-technical user. Thus, many researchers have endeavored to hide the formal syntax and semantics of ontologies behind the constructs of Controlled Natural Languages (CNLs), which retain the formal properties of ontologies while simultaneously presenting that information in a comprehensible natural language format. In this paper, we build upon previous work in this field by evaluating prospects of implementing (...) International Technology Alliance Controlled English (ITACE) as a middleware for ontology editing. We also discuss at length a prototype of a natural language conversational interface application designed to facilitate ontology editing via the formulation of CNL constructs. (shrink)

An overview of the current epistemic literature concerning conspiracy theories, as well as indications for future research avenues on the topic.

A number of philosophers have been impressed with the thought that moral saints and moral monsters—or, evil people, to put it less sensationally—“mirror” one another, in a sense to be explained. Call this the mirror thesis. The project of this paper is to cash out the metaphorical suggestion that moral saints and evil persons mirror one other and to articulate the most plausible literal version of the mirror thesis. To anticipate, the most plausible version of the mirror thesis implies that (...) evil persons mirror moral saints insofar as the characters of each are marked by similar aretaic properties: suffering from extremely vicious character traits—in a sense to be explained—suffices for being evil whereas possessing extremely virtuous character traits similarly suffices for moral sainthood. (shrink)

Multidimensional concepts are everywhere, and they are important. Examples include moral value, welfare, scientific confirmation, democracy, and biodiversity. How, if at all, can we aggregate the underlying dimensions of a multidimensional concept F to yield verdicts about which things are Fer than which overall? Social choice theory can be used to model and investigate this aggregation problem. Here, we focus on a particularly thorny problem made salient by this social choice-theoretic framework: the underlying dimensions of a given concept might be (...) measurable on different types of scales—e.g., some ordinal and some cardinal. An underappreciated impossibility theorem due to Anna Khmelnitskaya shows that seemingly plausible constraints on aggregation across scale types are inconsistent. This impossibility threatens to render the notion of overall Fness incoherent. We attempt to defuse this threat, arguing that the impossibility depends on an overly restrictive conception of measurement and of how measurement constrains aggregation. Adopting a more flexible—and, we think, more perspicuous—conception of measurement opens an array of possibilities for aggregation across disparate scale types. (shrink)

Cognitive categories in the geographic realm appear to manifest certain special features as contrasted with categories for objects at surveyable scales. We have argued that these features reflect specific ontological characteristics of geographic objects. This paper presents hypotheses as to the nature of the features mentioned, reviews previous empirical work on geographic categories, and presents the results of pilot experiments that used English-speaking subjects to test our hypotheses. Our experiments show geographic categories to be similar to their non-geographic counterparts in (...) the ways in which they generate instances of different relative frequencies at different levels. Other tests, however, provide preliminary evidence for the existence of important differences in subjects’ categorizations of geographic and non-geographic objects, and suggest further experimental work especially with regard to the role in cognitive categorization of different types of object-boundaries at different scales. (shrink)

It is plausible that being an evil person is a matter of having a particularly morally depraved character. I argue that suffering from extreme moral vices—and not consistently lacking moral vices, for example—suffices for being evil. Alternatively, I defend an extremity account concerning evil personhood against consistency accounts of evil personhood. After clarifying what it is for vices to be extreme, I note that the extremity thesis I defend allows that a person could suffer from both extremely vicious character traits (...) while possessing some modest virtue as well. By contrast, consistency theses rule out this possibility by definition. This result does not suggest that extremity accounts are flawed, however, since, as I argue, the thesis that evil people must lack moral virtue altogether effectively defines evil people out of existence and prematurely privileges skepticism about evil personhood. Ultimately, I contend that an extremity account is most consistent with common intuitions about putative evil persons as well as plausible assumptions about aretaic evaluations of character quite generally. (shrink)

Typically, philosophers interested in evil have typically been concerned with reconciling (or not) the apparent existence of gratuitous suffering with the existence of an omnipotent and omniscient and supremely loving and caring Deity. Undeniably, ‘evil’ functions as a mass noun: note the intelligibility of asking “Why is there so much evil in the world?” But ‘evil’ sometimes functions as an adjective and is used variously to describe persons, actions, desires, motives, and intentions; Joel Feinberg even speaks of “evil smells.” In (...) what follows, I shall consider the relationship between evil actions, evildoers—that is, persons disposed to perform evil actions—and evil people. Roughly, I defend the simple thesis that being an evil person just is being an evildoer. (shrink)

However liberalism is best understood, liberals typically seek to defend a wide range of liberty. Since same-sex marriage [henceforth: SSM] prohibitions limit the liberty of citizens, there is at least some reason to suppose that they are inconsistent with liberal commitments. But some have argued that it is the recognition of SSM—not its prohibition—that conflicts with liberalism’s commitments. I refer to the thesis that recognition of SSM is illiberal as “The Charge.” As a sympathetic liberal, I take The Charge seriously (...) enough to consider and ultimately reject it. Ultimately, I contend that The Charge is simply misguided and that arguments for it either fail to find support in some liberal principle or else find support from some illiberal principle. (shrink)

Some philosophers have argued that the concepts of evil and wickedness cannot be well grasped by those inclined to a naturalist bent, perhaps because evil is so intimately tied to religious discourse or because it is ultimately not possible to understand evil, period. By contrast, I argue that evil—or, at least, what it is to be an evil person—can be understood by naturalist philosophers, and I articulate an independently plausible account of evil character.

Experience clearly suggests that most legal philosophers and ethicists are not surprised to be told that liberal states cannot permissibly prohibit same-sex marriage (henceforth: SSM). It is somewhat less clear just what the appropriate liberal strategy is and should be in defense of this thesis. Rather than try to defend SSM directly, I shall proceed indirectly by arguing that SSM prohibitions are indefensible on liberal grounds. Initially, I shall consider what I take to be the most powerful liberal argument against (...) SSM prohibitions and account for my reservations about it. Then, I shall propose an alternative argument with roots in constitutional law that since SSM prohibitions do not survive liberal scrutiny, they must be rejected. (shrink)

It is reasonably well accepted that the explanation of intentional action is teleological explanation. Very roughly, an explanation of some event, E, is teleological only if it explains E by citing some goal or purpose or reason that produced E. Alternatively, teleological explanations of intentional action explain “by citing the state of affairs toward which the behavior was directed” thereby answering questions like “To what end was the agent’s behavior directed?” Causalism—advocated by causalists—is the thesis that explanations of intentional action (...) are both causal and teleological. By contrast, non-causalism—advocated by non-causalists—is the thesis that explanations of intentional action are teleological but not causal. Familiarly, the problem of causal deviance plagues causalism. But while some have supposed that the problem is grave enough that causalism is bound to suffer a global breakdown, the rumors of causalism’s demise are greatly exaggerated. In what follows, I note that every instance of causal deviance is also an instance of teleological deviance and that teleological deviance is a problem for causalist and non-causalist alike, a problem that causalists may be better able to deal with. Or so I argue. (shrink)

I contend that there are two dogmas that are still popular among philosophers of action: that agents can only desire what they think is good and that they can only intentionally pursue what they think is good. I also argue that both dogmas are false. Broadly, I argue that our best theories of action can explain the possibility of intentionally pursuing what one thinks is not at all good, that we need to allow for the possibility of intentionally pursuing what (...) one think is not at all good, and that if we can intentionally pursue what we think is not at all good then we can desire it on similar grounds. (shrink)

Since it is only five years since the publication of our paper, "Geographical categories: An ontological investigation" (Smith and Mark 2001), it seems somewhat strange to be making retrospective comments on the piece. Nevertheless, the field is moving quickly, and much has happened since the article appeared. A large number of papers have already cited the work, which suggests that there is a seam here that people find worthy of being mined. In this short essay, we first review the paper (...) and attempt to assess its significance from the perspective of our current work. We then put the paper in the context of our individual and joint works, which led up to it, and summarize our research trajectories since the paper appeared, pointing out what some of this reveals about spatial ontology in general. We conclude with some remarks on the future of ontological research in geographical information science. (shrink)

Hintergrund: Biomedizinische Ontologien existieren unter anderem zur Integration von klinischen und experimentellen Daten. Um dies zu erreichen ist es erforderlich, dass die fraglichen Ontologien von einer großen Zahl von Benutzern zur Annotation von Daten verwendet werden. Wie können Ontologien das erforderliche Maß an Benutzerfreundlichkeit, Zuverlässigkeit, Kosteneffektivität und Domänenabdeckung erreichen, um weitreichende Akzeptanz herbeizuführen? -/- Material und Methoden: Wir konzentrieren uns auf zwei unterschiedliche Strategien, die zurzeit hierbei verfolgt werden. Eine davon wird von SNOMED CT im Bereich der Medizin vertreten, die (...) andere im Bereich der Biologie und Biomedizin von der OBO Foundry. Es soll aufgezeigt werden, wie die Verpflichtung zu speziellen Kriterien der Ontologieentwicklung die Nützlichkeit und Effektivität der Ontologien positiv beeinflusst, indem die Pflege der terminologischen Systeme und ihre Interoperabilität vereinfacht werden. -/- Ergebnisse: SNOMED CT und die OBO Foundry unterscheiden sich grundlegend in ihren Ansätzen und Zielen. Unabhängig davon kann jedoch ein allgemeiner Trend zur strengeren Formalisierung und Fokussierung auf Interoperabilität zwischen unterschiedlichen Domänen und ihren Repräsentationen beobachtet werden. (shrink)

Ontology, since Aristotle, has been conceived as a sort of highly general physics, a science of the types of entities in reality, of the objects, properties, categories and relations which make up the world. At the same time ontology has been for some two thousand years a speculative enterprise. It has rested methodologically on introspection and on the construction and analysis of elaborate world-models and of abstract formal-ontological theories. In the work of Quine and others this ontological theorizing in abstract (...) fashion about the world was supplemented by the study, based on the use of logical methods, of the ontological commitments or presuppositions embodied in scientific theories. In recent years both types of ontological study have found application in the world of information systems, for example in the construction of frameworks for knowledge representation and in database design and translation. As ontology is in this way drawn closer to the domain of real-world applications, the question arises as to whether it is possible to use empirical methods in studying ontological theories. More specifically: can we use empirical methods to test the ontological theories embodied in human cognition? We set forth the outlines of a framework for the formulation and testing of such theories as they relate to the specific domain of geographic objects and categories. (shrink)

A letter to The Times of London, May 9, 1992 protesting the Cambridge University proposal to award an honorary degree to M. Jacques Derrida.

Cognitive categories in the geographic realm appear to manifest certain special features as contrasted with categories for objects at surveyable scales. We have argued that these features reflect specific ontological characteristics of geographic objects. This paper presents hypotheses as to the nature of the features mentioned, reviews previous empirical work on geographic categories, and presents the results of pilot experiments that used English-speaking subjects to test our hypotheses. Our experiments show geographic categories to be similar to their non-geographic counterparts in (...) the ways in which they generate instances of different relative frequencies at different levels. Other tests, however, provide preliminary evidence for the existence of important differences in subjects’ categorizations of geographic and non-geographic objects, and suggest further experimental work especially with regard to the role in cognitive categorization of different types of object-boundaries at different scales. (shrink)

John Searle’s The Construction of Social Reality and Hernando de Soto’s The Mystery of Capital shifted the focus of current thought on capital and economic development to the cultural and conceptual ideas that underpin market economies and that are taken for granted in developed nations. This collection of essays assembles 21 philosophers, economists, and political scientists to help readers understand these exciting new theories.

Batı’da teorik felsefe; Analitik Felsefe (AF), Kıta Felsefesi (KF) ve Felsefe Tarihi (FT) olmak üzere üçe ayrılır. Fakat üçünde de işler yolunda değildir. AF, felsefenin bir bilim olabileceği iddiasından kuşku duyduğu için gerçek dünyayla ilgilenmiyorken başından beri uygun bir teorik yöntem izlemeyen Kıta Felsefesinin uygulanışı, belirli politik ve etik yargılara hizmet edecek şekilde özelleştirilmiştir. FT çalışmalarının gidişatı ise eldeki eserin nesnel değerinden daha çok ilgili filozofun ait olduğu ulus veya kültüre göre bölgesel bir temelde gelişmiştir. Felsefede ilerleme sağlanacaksa bu ancak (...) bahsi geçen tuzaklardan kaçınılarak gerçekleşebilir. (shrink)

Introduction and translation of “The Four Phases of Philosophy” by Franz Brentano.

Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such navigation (...) will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date. (shrink)

The three young philosophers Kevin Mulligan, Peter Simons and Barry Smith have become well-known in the last few years especially in German-speaking analytical philosophy and phenomenology circles. This is on the one hand as a result of their historical and systematic philosophical work; but it is also because of the provocative way in which they represent their philosophy. Because they often appear in threes, they have become known as the "gang of three" or "three musketeers" or even – and (...) this in an admiring sense – "mafiosi" (Rescher). They are known primarily for the small workshops they have been organizing in uncomplicated Anglo-Saxon manner all over Europe. Their goal has been to show that analytic philosophy as it has been pursued up to now is in need of reform and also that the history of scientific philosophizing is not identical to the history of Anglo-Saxon analytic philosophy. Above all, they have tried to make more well known the Austrian tradition of scientific philosophy, and they can be given credit for having done much to promote the current interest in this tradition, which means: the history of Austrian philosophy of the 19th and early 20th centuries and its historical context in the Austro-Hungarian Empire. (shrink)

Human skills are acquired not by a single uniform process, but in a series of stages, as Piaget has shown. We have investigated such a sequential process by taking as an illustrative example the game of table tennis. The aims in each stage of learning are qualitatively different, and we show in detail how knowledge gained during one stage provides essential information for subsequent stages. Conclusions are drawn which may be important for artificial intelligence work generally. The question of practical (...) implementation of a system such as discussed is considered briefly. (shrink)

In the visual representation of ontologies, in particular of part-whole relationships, it is customary to use graph theory as the representational background. We claim here that the standard graph-based approach has a number of limitations, and we propose instead a new representation of part-whole structures for ontologies, and describe the results of experiments designed to show the effectiveness of this new proposal especially as concerns reduction of visual complexity. The proposal is developed to serve visualization of ontologies conformant to the (...) Basic Formal Ontology. But it can be used also for more general applications, particularly in the biomedical domain. (shrink)

Applied ontologies have been used more and more frequently to enhance systems engineering. In this paper, we argue that adopting principles of ontological realism can increase the benefits that ontologies have already been shown to provide to the systems engineering process. Moreover, adopting Basic Formal Ontology (BFO), an ISO standard for top-level ontologies from which more domain specific ontologies are constructed, can lead to benefits in four distinct areas of systems engineering: (1) interoperability, (2) standardization, (3) testing, and (4) data (...) exploitation. Reaping these benefits in a model-based systems engineering (MBSE) context requires utilizing an ontology’s vocabulary when modeling systems and entities within those systems. If the chosen ontology abides by the principles of ontological realism, a semantic standard capable of uniting distinct domains, using BFO as a hub, can be leveraged to promote greater interoperability among systems. As interoperability and standardization increase, so does the ability to collect data during the testing and implementation of systems. These data can then be reasoned over by computational reasoners using the logical axioms within the ontology. This, in turn, generates new data that would have been impossible or too inefficient to generate without the aid of computational reasoners. (shrink)

In “Ontologies Relevant to behaviour change interventions: A Method for their Development” Wright, et al. outline a step by step process for building ontologies of behaviour modification – what the authors call the Refined Ontology Developmental Method (RODM) – and demonstrate its use in the development of the Behaviour Change Intervention Ontology (BCIO). RODM is based on the principles of good ontology building used by the Open Biomedical Ontology (OBO) Foundry in addition to those outlined in (Arp, Smith, and Spear (...) 2015). BCIO uses as its top-level ontology Basic Formal Ontology (BFO). The methods outlined in Wright, et al. are a valuable contribution to the field, especially the use of formal mechanisms for literature annotation and expert stakeholder review, and the BCIO will certainly play an important role in the extension of OBO Foundry ontologies into the behavioural domain. (shrink)

The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology will greatly benefit software application ontologies. To this end LinKBase®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this, we aim to move beyond the level (...) of controlled vocabularies to yield an ontology with the ability to support reasoning applications. (shrink)

Ontologies, as the term is used in informatics, are structured vocabularies comprised of human- and computer-interpretable terms and relations that represent entities and relationships. Within informatics fields, ontologies play an important role in knowledge and data standardization, representation, integra- tion, sharing and analysis. They have also become a foundation of artificial intelligence (AI) research. In what follows, we outline the Coronavirus Infectious Disease Ontology (CIDO), which covers multiple areas in the domain of coronavirus diseases, including etiology, transmission, epidemiology, pathogenesis, diagnosis, (...) prevention, and treatment. We emphasize CIDO development relevant to COVID-19. (shrink)

Recently several authors have argued that accuracy-first epistemology ends up licensing problematic epistemic bribes. They charge that it is better, given the accuracy-first approach, to deliberately form one false belief if this will lead to forming many other true beliefs. We argue that this is not a consequence of the accuracy-first view. If one forms one false belief and a number of other true beliefs, then one is committed to many other false propositions, e.g., the conjunction of that false belief (...) with any of the true beliefs. Once we properly account for all the falsehoods that are adopted by the person who takes the bribe, it turns out that the bribe does not increase accuracy. (shrink)

Information may be defined as the conceptual or communicable part of the content of mental acts. The content of mental acts includes sensory data as well as concepts, particular as well as general information. An information system is an external (non-mental) system designed to store such content. Information systems afford indirect transmission of content between people, some of whom may put information into the system and others who are among those who use the system. In order for communication to happen, (...) the conceptual systems of the originators and users of the information must be sufficiently similar. A formal conceptual framework that can provide the basis for exchange of information is termed an ontology. In its most fundamental form, ontology studies the most basic constituents of reality. Traditionally, ontology seeks to reflects structures that are independent of thought and cognition. The term ontology is used more broadly in artificial intelligence and software engineering, to refer to the conceptual basis for an information system. (shrink)

The paper presents the outlines of an ontology of plans and guidelines, which is then used as the basis for a framework for implementing guideline-based systems for the management of workflow in health care organizations. The framework has a number of special features, above all in that it enables us to represent in formal terms assignments of work-items both to individuals and to teams and to tailor guideline to specific contexts of application in health care organizations. It is designed also (...) to enable implementations to do justice to the fact that the processes carried out in health care organizations may deviate in different ways from the norms set forth in corresponding guideline definitions. This means that implementations built in conformity with the framework will be marked by a type of flexibility that might make them more likely to be accepted by healthcare professionals than are standard guideline-based management systems. (shrink)

The paper presents the outlines of an ontology of plans and guidelines, which is then used as the basis for a framework for implementing guideline-based systems for the management of workflow in health care organizations. The framework has a number of special features, above all in that it enables us to represent in formal terms assignments of work-items both to individuals and to teams and to tailor guideline to specific contexts of application in health care organizations. It is designed also (...) to enable implementations to do justice to the fact that the processes carried out in health care organizations may deviate in different ways from the norms set forth in corresponding guideline definitions. This means that implementations built in conformity with the framework will be marked by a type of flexibility that might make them more likely to be accepted by healthcare professionals than are standard guideline-based management systems. (shrink)

Ontology has been proposed as a solution to the 'Tower of Babel' problem that threatens the semantic interoperability of information systems constructed independently for the same domain. In information systems research and applications, ontologies are often implemented by formalizing the meanings of words from natural languages. However, words in different natural languages sometimes subdivide the same domain of reality in terms of different conceptual categories. If the words and their associated concepts in two natural languages, or even in two terminological (...) traditions within the same language, do not have common referents in the real world, an ontology based on word meanings will inherit the 'Tower of Babel' problem from the languages involved, rather than solve it. In this paper we present evidence from a preliminary comparison of landscape terms in English with those in the Yindjibarndi language of northwestern Australia demonstrating that this problem is not just hypothetical. Some possible solutions are suggested. (shrink)

The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology greatly benefits application ontologies. To this end r®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this project we aim to move beyond the level of (...) controlled vocabularies to yield an ontology with the ability to support reasoning applications. Our general procedure has been the implementation of a meta-ontological definition space in which the definitions of all the concepts and relations in LinKBase® are standardized in a framework of first-order logic. In this paper we describe how this standardization has already led to an improvement in the LinKBase® structure that allows for a greater degree of internal coherence than ever before possible. We then show the use of this philosophical standardization for the purpose of mapping external databases to one another, using LinKBase® as translation hub, with a greater degree of success than possible hitherto. We demonstrate how this offers a genuine advance over other application ontologies that have not submitted themselves to the demands of philosophical scrutiny. LinKBase® is one of the world’s largest applications-oriented medical domain ontologies, and BFO is one of the world’s first philosophically driven reference ontologies. The collaboration of the two thus initiates a new phase in the quest to solve the so-called “Tower of Babel”. (shrink)

This essay is a response to Luis M. Augusto’s intriguing paper on the rift between mainstream and formal ontology. I will show that there are in fact two questions at issue here: 1. concerning the links between mainstream and formal approaches within philosophy, and 2. concerning the application of philosophy (and especially philosophical ontology) in support of information-driven research for example in the life sciences.

In the graphical representation of ontologies, it is customary to use graph theory as the representational background. We claim here that the standard graph-based approach has a number of limitations. We focus here on a problem in the graph-based representation of ontologies in complex domains such as biomedical, engineering and manufacturing: lack of mereotopological representation. Based on such limitation, we proposed a diagrammatic way to represent an entity’s structure and various forms of mereotopological relationships between the entities.

The shape of the Earth's surface, its topography, is a fundamental dimension of the environment, shaping or mediating many other environmental flows or functions. But there is a major divergence in the way that topography is conceptualized in different domains. Topographic cartographers, information scientists, geomorphologists and environmental modelers typically conceptualize topographic variability as a continuous field of elevations or as some discrete approximation to such a field. Pilots, explorers, anthropologists, ecologists, hikers, and archeologists, on the other hand, typically conceptualize this (...) same variability in terms of hills and valleys, mountains and plains, barrows and trenches, that is, as (special sorts of) objects, with locations, shapes, and often names of their own. In this chapter, we sketch an approach to bridging this fundamental gap in geographic information infrastructure. (shrink)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

The National Center for Biomedical Ontology is a consortium that comprises leading informaticians, biologists, clinicians, and ontologists, funded by the National Institutes of Health (NIH) Roadmap, to develop innovative technology and methods that allow scientists to record, manage, and disseminate biomedical information and knowledge in machine-processable form. The goals of the Center are (1) to help unify the divergent and isolated efforts in ontology development by promoting high quality open-source, standards-based tools to create, manage, and use ontologies, (2) to create (...) new software tools so that scientists can use ontologies to annotate and analyze biomedical data, (3) to provide a national resource for the ongoing evaluation, integration, and evolution of biomedical ontologies and associated tools and theories in the context of driving biomedical projects (DBPs), and (4) to disseminate the tools and resources of the Center and to identify, evaluate, and communicate best practices of ontology development to the biomedical community. Through the research activities within the Center, collaborations with the DBPs, and interactions with the biomedical community, our goal is to help scientists to work more effectively in the e-science paradigm, enhancing experiment design, experiment execution, data analysis, information synthesis, hypothesis generation and testing, and understand human disease. (shrink)

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

Sacrificial dilemmas such as the trolley problem play an important role in experimental philosophy (x-phi). But it is increasingly argued that, since we are not likely to encounter runaway trolleys in our daily life, the usefulness of such thought experiments for understanding moral judgments in more ecologically valid contexts may be limited. However, similar sacrificial dilemmas are experienced in real life by animal research decision makers. As part of their job, they must make decisions about the suffering, and often the (...) death, of many non-human animals. For this reason, a context-specific investigation of so-called “3R dilemmas” (i.e., dilemmas where there is a conflict between the principles of replacement, reduction, and refinement of the use of animals in research) is essential to improve the situation of both non-human animals and human stakeholders. An approach well suited for such investigation is experimental philosophical bioethics (“bioxphi”), which draws on methods similar to x-phi to probe more realistic, practical scenarios with an eye to informing normative debates and ethical policy. In this article, we argue for a need to investigate 3R dilemmas among professional decision-makers using the tools of bioxphi. In a first step, we define 3R dilemmas and discuss previous investigations of professionals’ attitudes in such cases. In a second step, we show how bioxphi is a promising method to investigate the whys and hows of professional decision-making in 3R dilemmas. In a last step, we provide a bioxphi template for 3R dilemmas, give recommendations on its use, explore the normative relevance of data collected by such means, and discuss important limitations. (shrink)

This article is part of a For-Discussion-Section of Methods of Information in Medicine about the paper "Biomedical Informatics: We Are What We Publish", written by Peter L. Elkin, Steven H. Brown, and Graham Wright. It is introduced by an editorial. This article contains the combined commentaries invited to independently comment on the Elkin et al. paper. In subsequent issues the discussion can continue through letters to the editor.

The Common Anatomy Reference Ontology (CARO) is being developed to facilitate interoperability between existing anatomy ontologies for different species, and will provide a template for building new anatomy ontologies. CARO has a structural axis of classification based on the top-level nodes of the Foundational Model of Anatomy. CARO will complement the developmental process sub-ontology of the GO Biological Process ontology, using it to ensure the coherent treatment of developmental stages, and to provide a common framework for the model organism communities (...) to classify developmental structures. Definitions for the types and relationships are being generated by a consortium of investigators from diverse backgrounds to ensure applicability to all organisms. CARO will support the coordination of cross-species ontologies at all levels of anatomical granularity by cross-referencing types within the cell type ontology (CL) and the Gene Ontology (GO) Cellular Component ontology. A complete cross-species CARO could be utilized in other ontologies for cross-product generation. (shrink)

Each annual Ontology Summit initiative makes a statement appropriate to each Summit’s theme as part of our general advocacy designed to bring ontology science and engineering into the mainstream. The theme this year is "Towards an Open Ontology Repository". This communiqué represents the joint position of those who were engaged in the year's summit discourse on an Open Ontology Repository (OOR) and of those who endorse below. In this discussion, we have agreed that an "ontology repository is a facility where (...) ontologies and related information artifacts can be stored, retrieved and managed." -/- We believe in the promise of semantic technologies based on logic, databases and the Semantic Web, a Web of exposed data and of interpretations of that data (i.e., of semantics), using common standards. Such technologies enable distinguishable, computable, reusable, and sharable meaning of Web and other artifacts, including data, documents, and services. We also believe that making that vision a reality requires additional supporting resources and these resources should be open, extensible, and provide common services over the ontologies. (shrink)

A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

This volume brings together a range of influential essays by distinguished philosophers and political theorists on the issue of global justice. Global justice concerns the search for ethical norms that should govern interactions between people, states, corporations and other agents acting in the global arena, as well as the design of social institutions that link them together. The volume includes articles that engage with major theoretical questions such as the applicability of the ideals of social and economic equality to the (...) global sphere, the degree of justified partiality to compatriots, and the nature and extent of the responsibilities of the affluent to address global poverty and other hardships abroad. It also features articles that bring the theoretical insights of global justice thinkers to bear on matters of practical concern to contemporary societies, such policies associated with immigration, international trade, and climate change. -/- Contents: Introduction; Part I Standards of Global Justice: (i) Assistance-Based Responsibilities to the Global Poor: Famine, affluence and mortality, Peter Singer; We don't owe them a thing! A tough-minded but soft-hearted view of aid to the faraway needy, Jan Narveson; Does distance matter morally to the duty to rescue? Frances Myrna Kamm. (ii) Contribution-Based Responsibilities to the Global Poor: 'Assisting' the global poor, Thomas Pogge; Should we stop thinking about poverty in terms of helping the poor?, Alan Patten; Poverty and the moral significance of contribution, Gerhard Øverland. (iii)Cosmopolitans, Global Egalitarians, and its Critics: The one and the many faces of cosmopolitanism, Catherine Lu; Cosmopolitan justice and equalizing opportunities, Simon Caney; The problem of global justice, Thomas Nagel; Against global egalitarianism, David Miller; Egalitarian challenges to global egalitarianism: a critique, Christian Barry and Laura Valentini. Part II Pressing Global Socioeconomic Issues: (i) Governing the Flow of People: Immigration and freedom of association, Christopher Wellman; Democratic theory and border coercion: no right to unilaterally control your own borders, Arash Abizadeh; Justice in migration: a closed borders utopia?, Lea Ypi. (ii) Climate Change: Global environment and international inequality, Henry Shue; Valuing policies in response to climate change: some ethical issues, John Broome; Saved by disaster? Abrupt climate change, political inertia, and the possibility of an intergenerational arms race, Stephen M. Gardiner; Polycentric systems for coping with collective action and global environmental change, Elinor Ostrom. (iii) International Trade: Responsibility and global labor justice, Iris Marion Young; Property rights and the resource curse, Leif Wenar; Fairness in trade I: obligations arising from trading and the pauper-labor argument, Mathias Risse; Name index. -/- See: www.ashgate.com/default.aspx?page=637&calctitle=1&pageSubject=483&sort=pubdate&forthcoming=1&title_i d=9958&edition_id=13385. (shrink)